A Precise Approach for the Analysis of the UML Models Consistency
نویسندگان
چکیده
منابع مشابه
Aspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملIntegrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets
UML has become the standard object-oriented analysis and design language in software industry. However UML lacks a precise semantics that hinders error detection in the early stages of system development. Even worse, there is no clear definition of consistency criteria among various UML notations, and there are few examples of illustrating the use of various notations together. In this paper, w...
متن کاملConsistency Maintenance of UML Models with Description Logics
Nowadays, the prevailing methodology used to specify software designs is UML. This language consists of various types of diagrams, each one dedicated to a different design aspect. This variety of views, that overlap with respect to the information depicted in each, can leave the overall system design specification in an inconsistent state. Necessarily, some form of consistency checking must be ...
متن کاملCQV-UML Tool: a tool for managing the impact of change on UML models
An automated change impact analysis and management approach is vital to handle the complexity of adapting software during its evolution. Such an approach reduces the maintenance cost and provides for adequate decision making when confronted with the choice of accepting or ignoring changes. This paper presents a change impact management approach between UML models. It verifies the consistency an...
متن کاملGenerative frameworks for rigorous model-driven development
Our increasing reliance on software systems requires reliable software. Mainstream software manufacture, however, is not rigorous and precise, and resulting software lacks the desired reliability. Formal methods take a rigorous and precise approach to software development, delivering reliable software, but they are widely recognised as being impractical. Although the situation is improving, the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005